منابع مشابه
Acquisition of Vernacular Place Names from Web Sources
Vernacular place names are names that are commonly in use to refer to geographical places. For purposes of effective information retrieval, the spatial extent associated with these names should reflect peoples perception of the place, even though this may differ sometimes from the administrative definition of the same place name. Due to their informal nature, vernacular place names are hard to ...
متن کاملData mining in conservation research using Latin and vernacular species names
In conservation science, assessments of trends and priorities for actions often focus on species as the management unit. Studies on species coverage in online media are commonly conducted by using species vernacular names. However, the use of species vernacular names for web-based data search is problematic due to the high risk of mismatches in results. While the use of Latin names may produce ...
متن کاملA Vernacular for Coherent Logic
We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a fragment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many everyday mathematical developments. The proposed proo...
متن کاملA Vernacular for Linear Latent Growth Models
In its most basic form, latent growth modeling (latent curve analysis) allows an assessment of individuals’change in a measured variable X over time. For simple linear models, as with other growth models, parameter estimates associated with the α construct (amount of X at a chosen temporal reference point) and β construct (growth in X per unit time) are not invariant with respect to choice of r...
متن کاملVernacular Programming: General Recursion
This paper provides a mathematical analysis of the relationship between vernacular and for-malised derivations of programs; in particular, when the vernacular derivations deploy general recursion. We introduce a calculus VPD to represent vernacular derivations and a constructive theory of operations and types, EOT , to represent formal derivations. We provide an intensional semantics for VPD wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Psyche: A Journal of Entomology
سال: 1874
ISSN: 0033-2615,1687-7438
DOI: 10.1155/1874/52547